\(\int \frac {x \cosh (c+d x)}{(a+b x^2)^3} \, dx\) [74]

   Optimal result
   Rubi [A] (verified)
   Mathematica [C] (verified)
   Maple [B] (verified)
   Fricas [B] (verification not implemented)
   Sympy [F(-1)]
   Maxima [F]
   Giac [F]
   Mupad [F(-1)]

Optimal result

Integrand size = 17, antiderivative size = 512 \[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=-\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}-\frac {d^2 \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}-\frac {d^2 \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 a b^2}+\frac {d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right ) \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right ) \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}+\sqrt {b} x\right )}+\frac {d \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 (-a)^{3/2} b^{3/2}}+\frac {d^2 \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}+\frac {d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d^2 \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 a b^2} \]

[Out]

-1/4*cosh(d*x+c)/b/(b*x^2+a)^2-1/16*d^2*Chi(d*x+d*(-a)^(1/2)/b^(1/2))*cosh(c-d*(-a)^(1/2)/b^(1/2))/a/b^2-1/16*
d^2*Chi(-d*x+d*(-a)^(1/2)/b^(1/2))*cosh(c+d*(-a)^(1/2)/b^(1/2))/a/b^2-1/16*d*cosh(c+d*(-a)^(1/2)/b^(1/2))*Shi(
d*x-d*(-a)^(1/2)/b^(1/2))/(-a)^(3/2)/b^(3/2)+1/16*d*cosh(c-d*(-a)^(1/2)/b^(1/2))*Shi(d*x+d*(-a)^(1/2)/b^(1/2))
/(-a)^(3/2)/b^(3/2)+1/16*d*Chi(d*x+d*(-a)^(1/2)/b^(1/2))*sinh(c-d*(-a)^(1/2)/b^(1/2))/(-a)^(3/2)/b^(3/2)-1/16*
d^2*Shi(d*x+d*(-a)^(1/2)/b^(1/2))*sinh(c-d*(-a)^(1/2)/b^(1/2))/a/b^2-1/16*d*Chi(-d*x+d*(-a)^(1/2)/b^(1/2))*sin
h(c+d*(-a)^(1/2)/b^(1/2))/(-a)^(3/2)/b^(3/2)-1/16*d^2*Shi(d*x-d*(-a)^(1/2)/b^(1/2))*sinh(c+d*(-a)^(1/2)/b^(1/2
))/a/b^2-1/16*d*sinh(d*x+c)/a/b^(3/2)/((-a)^(1/2)-x*b^(1/2))+1/16*d*sinh(d*x+c)/a/b^(3/2)/((-a)^(1/2)+x*b^(1/2
))

Rubi [A] (verified)

Time = 0.66 (sec) , antiderivative size = 512, normalized size of antiderivative = 1.00, number of steps used = 19, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.353, Rules used = {5397, 5388, 3378, 3384, 3379, 3382} \[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\frac {d \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d \sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 (-a)^{3/2} b^{3/2}}+\frac {d \cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 (-a)^{3/2} b^{3/2}}+\frac {d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}+\sqrt {b} x\right )}-\frac {d^2 \cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}-\frac {d^2 \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 a b^2}+\frac {d^2 \sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+c\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}-\frac {d^2 \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (x d+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 a b^2}-\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2} \]

[In]

Int[(x*Cosh[c + d*x])/(a + b*x^2)^3,x]

[Out]

-1/4*Cosh[c + d*x]/(b*(a + b*x^2)^2) - (d^2*Cosh[c + (Sqrt[-a]*d)/Sqrt[b]]*CoshIntegral[(Sqrt[-a]*d)/Sqrt[b] -
 d*x])/(16*a*b^2) - (d^2*Cosh[c - (Sqrt[-a]*d)/Sqrt[b]]*CoshIntegral[(Sqrt[-a]*d)/Sqrt[b] + d*x])/(16*a*b^2) +
 (d*CoshIntegral[(Sqrt[-a]*d)/Sqrt[b] + d*x]*Sinh[c - (Sqrt[-a]*d)/Sqrt[b]])/(16*(-a)^(3/2)*b^(3/2)) - (d*Cosh
Integral[(Sqrt[-a]*d)/Sqrt[b] - d*x]*Sinh[c + (Sqrt[-a]*d)/Sqrt[b]])/(16*(-a)^(3/2)*b^(3/2)) - (d*Sinh[c + d*x
])/(16*a*b^(3/2)*(Sqrt[-a] - Sqrt[b]*x)) + (d*Sinh[c + d*x])/(16*a*b^(3/2)*(Sqrt[-a] + Sqrt[b]*x)) + (d*Cosh[c
 + (Sqrt[-a]*d)/Sqrt[b]]*SinhIntegral[(Sqrt[-a]*d)/Sqrt[b] - d*x])/(16*(-a)^(3/2)*b^(3/2)) + (d^2*Sinh[c + (Sq
rt[-a]*d)/Sqrt[b]]*SinhIntegral[(Sqrt[-a]*d)/Sqrt[b] - d*x])/(16*a*b^2) + (d*Cosh[c - (Sqrt[-a]*d)/Sqrt[b]]*Si
nhIntegral[(Sqrt[-a]*d)/Sqrt[b] + d*x])/(16*(-a)^(3/2)*b^(3/2)) - (d^2*Sinh[c - (Sqrt[-a]*d)/Sqrt[b]]*SinhInte
gral[(Sqrt[-a]*d)/Sqrt[b] + d*x])/(16*a*b^2)

Rule 3378

Int[((c_.) + (d_.)*(x_))^(m_)*sin[(e_.) + (f_.)*(x_)], x_Symbol] :> Simp[(c + d*x)^(m + 1)*(Sin[e + f*x]/(d*(m
 + 1))), x] - Dist[f/(d*(m + 1)), Int[(c + d*x)^(m + 1)*Cos[e + f*x], x], x] /; FreeQ[{c, d, e, f}, x] && LtQ[
m, -1]

Rule 3379

Int[sin[(e_.) + (Complex[0, fz_])*(f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[I*(SinhIntegral[c*f*(fz/
d) + f*fz*x]/d), x] /; FreeQ[{c, d, e, f, fz}, x] && EqQ[d*e - c*f*fz*I, 0]

Rule 3382

Int[sin[(e_.) + (Complex[0, fz_])*(f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[CoshIntegral[c*f*(fz/d)
+ f*fz*x]/d, x] /; FreeQ[{c, d, e, f, fz}, x] && EqQ[d*(e - Pi/2) - c*f*fz*I, 0]

Rule 3384

Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Dist[Cos[(d*e - c*f)/d], Int[Sin[c*(f/d) + f*x]
/(c + d*x), x], x] + Dist[Sin[(d*e - c*f)/d], Int[Cos[c*(f/d) + f*x]/(c + d*x), x], x] /; FreeQ[{c, d, e, f},
x] && NeQ[d*e - c*f, 0]

Rule 5388

Int[((a_) + (b_.)*(x_)^(n_))^(p_)*Sinh[(c_.) + (d_.)*(x_)], x_Symbol] :> Int[ExpandIntegrand[Sinh[c + d*x], (a
 + b*x^n)^p, x], x] /; FreeQ[{a, b, c, d}, x] && ILtQ[p, 0] && IGtQ[n, 0] && (EqQ[n, 2] || EqQ[p, -1])

Rule 5397

Int[Cosh[(c_.) + (d_.)*(x_)]*((e_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[e^m*(a + b*x^
n)^(p + 1)*(Cosh[c + d*x]/(b*n*(p + 1))), x] - Dist[d*(e^m/(b*n*(p + 1))), Int[(a + b*x^n)^(p + 1)*Sinh[c + d*
x], x], x] /; FreeQ[{a, b, c, d, e, m, n}, x] && IntegerQ[p] && EqQ[m - n + 1, 0] && LtQ[p, -1] && (IntegerQ[n
] || GtQ[e, 0])

Rubi steps \begin{align*} \text {integral}& = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}+\frac {d \int \frac {\sinh (c+d x)}{\left (a+b x^2\right )^2} \, dx}{4 b} \\ & = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}+\frac {d \int \left (-\frac {b \sinh (c+d x)}{4 a \left (\sqrt {-a} \sqrt {b}-b x\right )^2}-\frac {b \sinh (c+d x)}{4 a \left (\sqrt {-a} \sqrt {b}+b x\right )^2}-\frac {b \sinh (c+d x)}{2 a \left (-a b-b^2 x^2\right )}\right ) \, dx}{4 b} \\ & = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}-\frac {d \int \frac {\sinh (c+d x)}{\left (\sqrt {-a} \sqrt {b}-b x\right )^2} \, dx}{16 a}-\frac {d \int \frac {\sinh (c+d x)}{\left (\sqrt {-a} \sqrt {b}+b x\right )^2} \, dx}{16 a}-\frac {d \int \frac {\sinh (c+d x)}{-a b-b^2 x^2} \, dx}{8 a} \\ & = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}-\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}+\sqrt {b} x\right )}-\frac {d \int \left (-\frac {\sqrt {-a} \sinh (c+d x)}{2 a b \left (\sqrt {-a}-\sqrt {b} x\right )}-\frac {\sqrt {-a} \sinh (c+d x)}{2 a b \left (\sqrt {-a}+\sqrt {b} x\right )}\right ) \, dx}{8 a}+\frac {d^2 \int \frac {\cosh (c+d x)}{\sqrt {-a} \sqrt {b}-b x} \, dx}{16 a b}-\frac {d^2 \int \frac {\cosh (c+d x)}{\sqrt {-a} \sqrt {b}+b x} \, dx}{16 a b} \\ & = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}-\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}+\sqrt {b} x\right )}+\frac {d \int \frac {\sinh (c+d x)}{\sqrt {-a}-\sqrt {b} x} \, dx}{16 (-a)^{3/2} b}+\frac {d \int \frac {\sinh (c+d x)}{\sqrt {-a}+\sqrt {b} x} \, dx}{16 (-a)^{3/2} b}-\frac {\left (d^2 \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a} \sqrt {b}+b x} \, dx}{16 a b}+\frac {\left (d^2 \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a} \sqrt {b}-b x} \, dx}{16 a b}-\frac {\left (d^2 \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a} \sqrt {b}+b x} \, dx}{16 a b}-\frac {\left (d^2 \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a} \sqrt {b}-b x} \, dx}{16 a b} \\ & = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}-\frac {d^2 \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}-\frac {d^2 \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 a b^2}-\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}+\sqrt {b} x\right )}+\frac {d^2 \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}-\frac {d^2 \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 a b^2}+\frac {\left (d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{16 (-a)^{3/2} b}-\frac {\left (d \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\sinh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{16 (-a)^{3/2} b}+\frac {\left (d \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{\sqrt {-a}+\sqrt {b} x} \, dx}{16 (-a)^{3/2} b}+\frac {\left (d \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )\right ) \int \frac {\cosh \left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{\sqrt {-a}-\sqrt {b} x} \, dx}{16 (-a)^{3/2} b} \\ & = -\frac {\cosh (c+d x)}{4 b \left (a+b x^2\right )^2}-\frac {d^2 \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}-\frac {d^2 \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 a b^2}+\frac {d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right ) \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d \text {Chi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right ) \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}-\sqrt {b} x\right )}+\frac {d \sinh (c+d x)}{16 a b^{3/2} \left (\sqrt {-a}+\sqrt {b} x\right )}+\frac {d \cosh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 (-a)^{3/2} b^{3/2}}+\frac {d^2 \sinh \left (c+\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}-d x\right )}{16 a b^2}+\frac {d \cosh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 (-a)^{3/2} b^{3/2}}-\frac {d^2 \sinh \left (c-\frac {\sqrt {-a} d}{\sqrt {b}}\right ) \text {Shi}\left (\frac {\sqrt {-a} d}{\sqrt {b}}+d x\right )}{16 a b^2} \\ \end{align*}

Mathematica [C] (verified)

Result contains complex when optimal does not.

Time = 1.02 (sec) , antiderivative size = 325, normalized size of antiderivative = 0.63 \[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\frac {-d e^{c-\frac {i \sqrt {a} d}{\sqrt {b}}} \left (\left (i \sqrt {b}+\sqrt {a} d\right ) e^{\frac {2 i \sqrt {a} d}{\sqrt {b}}} \operatorname {ExpIntegralEi}\left (d \left (-\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right )+\left (-i \sqrt {b}+\sqrt {a} d\right ) \operatorname {ExpIntegralEi}\left (d \left (\frac {i \sqrt {a}}{\sqrt {b}}+x\right )\right )\right )-d e^{-c-\frac {i \sqrt {a} d}{\sqrt {b}}} \left (\left (i \sqrt {b}+\sqrt {a} d\right ) e^{\frac {2 i \sqrt {a} d}{\sqrt {b}}} \operatorname {ExpIntegralEi}\left (-\frac {i \sqrt {a} d}{\sqrt {b}}-d x\right )+\left (-i \sqrt {b}+\sqrt {a} d\right ) \operatorname {ExpIntegralEi}\left (\frac {i \sqrt {a} d}{\sqrt {b}}-d x\right )\right )+\frac {4 \sqrt {a} b \cosh (d x) \left (-2 a \cosh (c)+d x \left (a+b x^2\right ) \sinh (c)\right )}{\left (a+b x^2\right )^2}+\frac {4 \sqrt {a} b \left (d x \left (a+b x^2\right ) \cosh (c)-2 a \sinh (c)\right ) \sinh (d x)}{\left (a+b x^2\right )^2}}{32 a^{3/2} b^2} \]

[In]

Integrate[(x*Cosh[c + d*x])/(a + b*x^2)^3,x]

[Out]

(-(d*E^(c - (I*Sqrt[a]*d)/Sqrt[b])*((I*Sqrt[b] + Sqrt[a]*d)*E^(((2*I)*Sqrt[a]*d)/Sqrt[b])*ExpIntegralEi[d*(((-
I)*Sqrt[a])/Sqrt[b] + x)] + ((-I)*Sqrt[b] + Sqrt[a]*d)*ExpIntegralEi[d*((I*Sqrt[a])/Sqrt[b] + x)])) - d*E^(-c
- (I*Sqrt[a]*d)/Sqrt[b])*((I*Sqrt[b] + Sqrt[a]*d)*E^(((2*I)*Sqrt[a]*d)/Sqrt[b])*ExpIntegralEi[((-I)*Sqrt[a]*d)
/Sqrt[b] - d*x] + ((-I)*Sqrt[b] + Sqrt[a]*d)*ExpIntegralEi[(I*Sqrt[a]*d)/Sqrt[b] - d*x]) + (4*Sqrt[a]*b*Cosh[d
*x]*(-2*a*Cosh[c] + d*x*(a + b*x^2)*Sinh[c]))/(a + b*x^2)^2 + (4*Sqrt[a]*b*(d*x*(a + b*x^2)*Cosh[c] - 2*a*Sinh
[c])*Sinh[d*x])/(a + b*x^2)^2)/(32*a^(3/2)*b^2)

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(1502\) vs. \(2(398)=796\).

Time = 0.31 (sec) , antiderivative size = 1503, normalized size of antiderivative = 2.94

method result size
risch \(\text {Expression too large to display}\) \(1503\)

[In]

int(x*cosh(d*x+c)/(b*x^2+a)^3,x,method=_RETURNVERBOSE)

[Out]

1/32/a*(2*exp(-(d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a*b^2*d*x^2-2*(-a*b)^(1/2)*exp(
-d*x-c)*a*b*d*x-2*exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a*b^2*d*x^2+exp(-(d*(-a
*b)^(1/2)+c*b)/b)*(-a*b)^(1/2)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*b^2*d^2*x^4+(-a*b)^(1/2)*exp(-(-d*(-a*b
)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*b^2*d^2*x^4-4*(-a*b)^(1/2)*exp(-d*x-c)*a*b+(-a*b)^(1/2)
*exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a^2*d^2+(-a*b)^(1/2)*exp((-d*(-a*b)^(1/2)+
c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a^2*d^2-exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+
c)*b+c*b)/b)*a^2*b*d+exp((-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a^2*b*d+exp(-(d*(-a*
b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*b^3*d*x^4-exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b
)^(1/2)+(d*x+c)*b-c*b)/b)*b^3*d*x^4-2*(-a*b)^(1/2)*exp(-d*x-c)*b^2*d*x^3+2*exp(-(d*(-a*b)^(1/2)+c*b)/b)*(-a*b)
^(1/2)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a*b*d^2*x^2+2*(-a*b)^(1/2)*exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(
d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a*b*d^2*x^2-exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b
)*b^3*d*x^4+exp((-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*b^3*d*x^4+2*(-a*b)^(1/2)*exp(
d*x+c)*b^2*d*x^3+2*(-a*b)^(1/2)*exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a*b*d^2*x^2
+2*(-a*b)^(1/2)*exp((-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a*b*d^2*x^2+(-a*b)^(1/2)*
exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*b^2*d^2*x^4+(-a*b)^(1/2)*exp((-d*(-a*b)^(1/
2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*b^2*d^2*x^4+2*exp((-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^
(1/2)+(d*x+c)*b-c*b)/b)*a*b^2*d*x^2-2*exp((d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a*b^2
*d*x^2+2*(-a*b)^(1/2)*exp(d*x+c)*a*b*d*x-4*(-a*b)^(1/2)*exp(d*x+c)*a*b+exp(-(d*(-a*b)^(1/2)+c*b)/b)*(-a*b)^(1/
2)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a^2*d^2+(-a*b)^(1/2)*exp(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(
1/2)+(d*x+c)*b-c*b)/b)*a^2*d^2+exp(-(d*(-a*b)^(1/2)+c*b)/b)*Ei(1,-(d*(-a*b)^(1/2)-(d*x+c)*b+c*b)/b)*a^2*b*d-ex
p(-(-d*(-a*b)^(1/2)+c*b)/b)*Ei(1,(d*(-a*b)^(1/2)+(d*x+c)*b-c*b)/b)*a^2*b*d)/b^2/(b^2*x^4+2*a*b*x^2+a^2)/(-a*b)
^(1/2)

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 1607 vs. \(2 (399) = 798\).

Time = 0.26 (sec) , antiderivative size = 1607, normalized size of antiderivative = 3.14 \[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\text {Too large to display} \]

[In]

integrate(x*cosh(d*x+c)/(b*x^2+a)^3,x, algorithm="fricas")

[Out]

-1/32*(8*a^2*b*cosh(d*x + c) + (((a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x + c)^2 - (a*b^2*d^2*x^4
+ 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x + c)^2 + ((b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(d*x + c)^2 - (b^3*x^4 + 2
*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(d*x - sqrt(-a*d^2/b)) + ((a*b^2*d^2*x^4 + 2*a^2*b*d^2*
x^2 + a^3*d^2)*cosh(d*x + c)^2 - (a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x + c)^2 - ((b^3*x^4 + 2*a
*b^2*x^2 + a^2*b)*cosh(d*x + c)^2 - (b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(-d*x +
 sqrt(-a*d^2/b)))*cosh(c + sqrt(-a*d^2/b)) + (((a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x + c)^2 - (
a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x + c)^2 - ((b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(d*x + c)^2
- (b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(d*x + sqrt(-a*d^2/b)) + ((a*b^2*d^2*x^4
+ 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x + c)^2 - (a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x + c)^2 + (
(b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(d*x + c)^2 - (b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*sqrt(-a*d^2
/b))*Ei(-d*x - sqrt(-a*d^2/b)))*cosh(-c + sqrt(-a*d^2/b)) - 4*(a*b^2*d*x^3 + a^2*b*d*x)*sinh(d*x + c) + (((a*b
^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x + c)^2 - (a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x
 + c)^2 + ((b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(d*x + c)^2 - (b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*
sqrt(-a*d^2/b))*Ei(d*x - sqrt(-a*d^2/b)) - ((a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x + c)^2 - (a*b
^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x + c)^2 - ((b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(d*x + c)^2 - (
b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(-d*x + sqrt(-a*d^2/b)))*sinh(c + sqrt(-a*d^
2/b)) - (((a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x + c)^2 - (a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3
*d^2)*sinh(d*x + c)^2 - ((b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(d*x + c)^2 - (b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sin
h(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(d*x + sqrt(-a*d^2/b)) - ((a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*cosh(d*x
 + c)^2 - (a*b^2*d^2*x^4 + 2*a^2*b*d^2*x^2 + a^3*d^2)*sinh(d*x + c)^2 + ((b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*cosh(
d*x + c)^2 - (b^3*x^4 + 2*a*b^2*x^2 + a^2*b)*sinh(d*x + c)^2)*sqrt(-a*d^2/b))*Ei(-d*x - sqrt(-a*d^2/b)))*sinh(
-c + sqrt(-a*d^2/b)))/((a^2*b^4*x^4 + 2*a^3*b^3*x^2 + a^4*b^2)*cosh(d*x + c)^2 - (a^2*b^4*x^4 + 2*a^3*b^3*x^2
+ a^4*b^2)*sinh(d*x + c)^2)

Sympy [F(-1)]

Timed out. \[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\text {Timed out} \]

[In]

integrate(x*cosh(d*x+c)/(b*x**2+a)**3,x)

[Out]

Timed out

Maxima [F]

\[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\int { \frac {x \cosh \left (d x + c\right )}{{\left (b x^{2} + a\right )}^{3}} \,d x } \]

[In]

integrate(x*cosh(d*x+c)/(b*x^2+a)^3,x, algorithm="maxima")

[Out]

1/2*(x*e^(d*x + 2*c) - x*e^(-d*x))/(b^3*d*x^6*e^c + 3*a*b^2*d*x^4*e^c + 3*a^2*b*d*x^2*e^c + a^3*d*e^c) + 1/2*i
ntegrate((5*b*x^2*e^c - a*e^c)*e^(d*x)/(b^4*d*x^8 + 4*a*b^3*d*x^6 + 6*a^2*b^2*d*x^4 + 4*a^3*b*d*x^2 + a^4*d),
x) - 1/2*integrate((5*b*x^2 - a)*e^(-d*x)/(b^4*d*x^8*e^c + 4*a*b^3*d*x^6*e^c + 6*a^2*b^2*d*x^4*e^c + 4*a^3*b*d
*x^2*e^c + a^4*d*e^c), x)

Giac [F]

\[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\int { \frac {x \cosh \left (d x + c\right )}{{\left (b x^{2} + a\right )}^{3}} \,d x } \]

[In]

integrate(x*cosh(d*x+c)/(b*x^2+a)^3,x, algorithm="giac")

[Out]

integrate(x*cosh(d*x + c)/(b*x^2 + a)^3, x)

Mupad [F(-1)]

Timed out. \[ \int \frac {x \cosh (c+d x)}{\left (a+b x^2\right )^3} \, dx=\int \frac {x\,\mathrm {cosh}\left (c+d\,x\right )}{{\left (b\,x^2+a\right )}^3} \,d x \]

[In]

int((x*cosh(c + d*x))/(a + b*x^2)^3,x)

[Out]

int((x*cosh(c + d*x))/(a + b*x^2)^3, x)